protoknow(pr1,att,pri(enc,[pri(lst,[cmr(id1,[su],[]),cmr(n1,dot,dot)]),cmr(ks,dot,dot)])).

protoknow(pr2,att,pri(enc,[pri(lst,[cmr(id1,[su],[]),cmr(n1,dot,dot)]),cmr(ks,dot,dot)])).
protoknow(pr2,att,pri(enc,[pri(lst,[cmr(id1,[su],[]),cmr(id2,[su],[]),cmr(n2,dot,dot)]),cmr(ks,dot,dot)])).

protoknow(pr3,att,pri(enc,[pri(lst,[cmr(id1,[su],[]),cmr(n1,dot,dot)]),cmr(ks,dot,dot)])).
protoknow(pr3,att,pri(enc,[pri(lst,[cmr(id1,[su],[]),cmr(id2,[su],[]),cmr(n2,dot,dot)]),cmr(ks,dot,dot)])).
protoknow(pr3,att,pri(enc,[cmr(id2,[su],[]),cmr(ks,dot,dot)])).

protoknow(pr4,att,pri(enc,[pri(lst,[cmr(id1,[su],[]),cmr(n1,dot,dot)]),cmr(ks,dot,dot)])).
protoknow(pr4,att,pri(enc,[pri(lst,[cmr(id1,[su],[]),cmr(id2,[su],[]),cmr(n2,dot,dot)]),cmr(ks,dot,dot)])).
protoknow(pr4,att,pri(enc,[cmr(id2,[su],[]),cmr(ks,dot,dot)])).
protoknow(pr4,att,pri(enc,[cm(age,[su],[]),cmr(ks,dot,dot)])).

